The Potentiality Of Linear-Time Proofs